Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Wed, 19 Aug 2026 17:55:58 +0000 (19:55 +0200)
committerMoritz Muehlenhoff <jmm@debian.org>
Wed, 19 Aug 2026 17:55:58 +0000 (19:55 +0200)
commitf61519ead2b7902db914cafc9bf60f679c736101
tree0aa21fc7ed9bf27a23ea3f46ff9de4757482b5ef
parentdf1c5ef70983d66678ec4b3512be06496be8450c
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java